# decidable

﻿
decidable
: capable of being decided; specifically : capable of being decided as following or not following from the axioms of a logical system — compare decision, problem

Useful english dictionary. 2012.

### Look at other dictionaries:

• décidable — [ desidabl ] adj. • 1957; de décider ♦ Log. Se dit d un système hypothéticodéductif dont on peut déterminer par un procédé effectif (cf. Méthode de décision) qu une proposition quelconque est démontrable. ⇒ résoluble. Par ext. Se dit des… …   Encyclopédie Universelle

• Decidable — De*cid a*ble, a. Capable of being decided; determinable. [1913 Webster] …   The Collaborative International Dictionary of English

• Décidable — Décidabilité et indécidabilité En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L indécidabilité est la négation de la décidabilité. Dans les deux cas il s …   Wikipédia en Français

• Decidable — The word decidable may refer to: Decidable language Decidability (logic) for the equivalent in mathematical logic Gödel s incompleteness theorem, a theorem on the indecidability of languages consisting of true statements in mathematical logic.… …   Wikipedia

• decidable — adjective a) capable of being decided. It is easy to show that the set of even numbers is decidable by creating the relevant Turing machine. b) describing a set for which there exists an algorithm that will determine whether any element is or is… …   Wiktionary

• decidable — decide ► VERB 1) resolve in the mind as a result of consideration. 2) settle (an issue or contest). 3) give a judgement concerning a legal case. DERIVATIVES decidable adjective deciding adjective. ORIGIN Latin decidere determine , from caedere… …   English terms dictionary

• decidable — adjective see decide …   New Collegiate Dictionary

• decidable — decidability, n. /di suy deuh beuhl/, adj. 1. capable of being decided. 2. Logic. (of an axiom, proposition, etc.) having the property that its consistency or inconsistency with the axioms of a given logical system is determinable. [1585 95;… …   Universalium

• decidable — adj. able to be decided, concludable …   English contemporary dictionary

• decidable — de·cid·able …   English syllables